Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·13h·
Discuss: DEV
⚡SMT Integration
Functional Threading “Macros”
aartaka.me·21h
🧠Lisp Dialects
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·12h·
Discuss: Hacker News
🕸️Knowledge Graphs
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·15h·
Discuss: Hacker News
📝Concrete Syntax
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔢Denotational Semantics
Issue 492
haskellweekly.news·3d·
Discuss: Hacker News
🔗Functional Compilers
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·5d·
Discuss: Lobsters
🔗Functional Compilers
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·14h·
Discuss: Hacker News
⚡Dependent Rust
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·3d
🔧Binary Parsers
Seriously Testing LLMs
satisfice.com·1h
🔍Concolic Testing
Property-based testing of batch-invariant operations
mmaaz.ca·3h·
Discuss: Hacker News
🧪Property-Based Testing
[D] Blog Post: 6 Things I hate about SHAP as a Maintainer
reddit.com·8h·
Discuss: r/MachineLearning
✨Effect Handlers
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·1d
🔀Category Theory
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·11h·
Discuss: Hacker News
💻Programming languages
Why do LLMs freak out over the seahorse emoji?
vgel.me·18m·
Discuss: Hacker News
🗜️LZW Variants
Eliminating the Precision–Latency Trade-Off in Large-Scale RAG
thenewstack.io·2d
🎯Retrieval Systems
Four years, Five failures, One compiler
daymare.net·17h·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
How Much Should You Tell Your AI Agent?
raymondyxu.com·8h·
Discuss: Hacker News
⚡Proof Automation